Substitutions dans le EDTOL Systèmes Ultralinéaires
نویسنده
چکیده
We study ED TOL-systems with terminal alphabet in which all words derivated from the axiom countain a bounded number of occurrences of non-terminals. We define, also, unary operators associated with these systems.
منابع مشابه
Étude des dimensions spécifiques du contexte dans un système de filtrage d'informations
Que ce soit dans le contexte des systèmes d’information d’entreprise, du commerce électronique, de l’accès au savoir et aux connaissances ou même des loisirs, la pertinence de l’information délivrée aux usages constitue un fact eur clé du succès ou du rejet de ces systèmes d’information. La qualité d’accès est conditionnée donc par l’accès à la bonne information, au bon moment, à l’endroit et s...
متن کاملVérification d'architectures embarquées : un enjeu aux multiples facettes
Il est désormais trivial de constater que les systèmes informatiques embarqués, tant dans le domaine des transports, de l'énergie, que de la domotique et des communication, occupent une place toujours grandissante. Autrefois cantonnés dans des fonctions non critiques, les ingénieurs n'hésitent plus à confier à ces systèmes des rôles vitaux (les commandes de vol d'un avion de transport par exemp...
متن کاملModélisation de connaissances pour un système de médiation
Résumé. Travaillant sur l'élaboration d'une méthodologie de développement de systèmes de médiation intégrés dans des systèmes coopératifs, nous avons proposé une architecture à 3 composants : le premier concerne la coopération, le second l'assistance et le troisième est relatif aux connaissances nécessaires aux 2 précédents. Dans cet article nous présentons plus particulièrement le point de vue...
متن کاملCooperative Work and its Articulation : Requirements for Computer Support
French abstract. Le nouveau domaine de recherche interdisciplinaire et de développement appelé Computer-Supported Cooperative Work ou CSCW représente un apport fondamental dans l'approche de la conception de systèmes informatiques. Dans la conception de systèmes informatiques de base pour un domaine particulier, le problème central a été de développer des modèles de calcul effectifs des structu...
متن کاملApproche par traduction pour la révision de systèmes d’argumentation
Nous étudions dans cet article le problème de la révision dans le cadre de l’argumentation abstraite [15]. De tels systèmes peuvent être représentés par des graphes orientés dans lesquels les nœuds sont les arguments et les arcs les attaques entre arguments. Dans ces systèmes, le statut d’acceptation d’un argument dépend de la sémantique d’acceptabilité choisie (de base, préférée, stable, . . ....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Information and Control
دوره 42 شماره
صفحات -
تاریخ انتشار 1979